Policy Construction and Validation for Energy Minimization in Cross Layered Systems: A Formal Method Approach

The highly dynamic nature and stringent timing constraints of distributed, real-time, and embedded (DRE) systems lead to complex cross-layer interactions and valid designs must satisfy a multitude of constraints. In this paper, we focus our attention on design validation considering multidimensional interoperability in the context of cross-layer approaches for power optimization under timing constraints in distributed mobile systems. Specifically, we (i) formally specify each layer of abstraction in consort with timing and energy properties, and (ii) evaluate an optimized policy for design validation as well as provide a time-energy critical path for further optimization that will cost-effectively address the Quality of Service (QoS)/performance tradeoffs. By providing a design flow that includes both timing verification and cross layer optimization, we can achieve (i) timing guarantees for design verification, (ii) better optimizations for resource management, and (iii) adaptive parameter settings for resource sharing and energy minimization. We present preliminary results on an MPEG application.